class InvalidOps
    feature { ANY }
        A1 alias "+=" (a : INTEGER) : INTEGER 
        do 
        end
        A2 alias "+"  ( )   : INTEGER 
        do 
        end
        A3 alias "not" (a : INTEGER) 
        do 
        end
        A4 alias "[]:=" ( ) 
        do 
        end
end